/* Overrides for the mango style */

div.sourceCode {
      overflow-x: visible !important;
}